(do-install): Delete the dest dir, not the source dir,

when they are different.

diff --git a/Makefile.in b/Makefile.in
index 8b1371d04055e7917bc597d5dd40fac7a4a9e6a8..c11edcde473e6325625111945412009af90127c2 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -332,7 +332,7 @@ do-install: mkdir
        -set ${COPYDESTS} ; \
         for dir in ${COPYDIR} ; do \
           if [ `(cd $$1 ; pwd)` != `(cd $${dir} ; pwd)` ] ; then \
-            rm -rf $${dir} ; \
+            rm -rf $$1 ; \
           fi ; \
         done
        -set ${COPYDESTS} ; \